../src/util/bddHash.h